منابع مشابه
QUANTALE-VALUED GAUGE SPACES
We introduce a quantale-valued generalization of approach spaces in terms of quantale-valued gauges. The resulting category is shown to be topological and to possess an initially dense object. Moreover we show that the category of quantale-valued approach spaces defined recently in terms of quantale-valued closures is a coreflective subcategory of our category and, for certain choices of the qu...
متن کاملIntroducing TRIM
We present TRIM, an abstract machine capable of executing a subset of the algebraic speci cation language OBJ3. A speci cally designed compiler translates the order sorted conditional equations of an OBJ3 speci cation into TRIM code. The fact that TRIM supports order sorted term rewriting natively di erentiates it from many other abstract term rewriting machines. To obtain more e cient abstract...
متن کامل2D Aircraft Trim
The purpose of this document is to discuss a 2-dimensional trim model for an aircraft along with the necessary mathematical methods to solve the problem, the computer implementation of the method and the results. The aircraft is climbing at a constant translational velocity, i.e. the aircraft is not accelerating. The 2-dimensional simplification; restricting the motion of the aircraft to longit...
متن کاملTRIM 28 regulates RNA polymerase
The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. et al. 2014. " TRIM28 regulates RNA polymerase II promoter proximal pausing and pause release. " Nature structural & molecular biology 21 (10): 876-883. Summary Promoter proximal pausing of RNA polymerase II (Pol II) is a major checkpoint in transcription. An unbiased sea...
متن کاملShip Trim Optimization: Assessment of Influence of Trim on Resistance of MOERI Container Ship
Environmental issues and rising fuel prices necessitate better energy efficiency in all sectors. Shipping industry is a stakeholder in environmental issues. Shipping industry is responsible for approximately 3% of global CO₂ emissions, 14-15% of global NO(X) emissions, and 16% of global SO(X) emissions. Ship trim optimization has gained enormous momentum in recent years being an effective opera...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of the Nautical Society of Japan
سال: 1954
ISSN: 2433-0116
DOI: 10.9749/jina.10.0_99